denotational semantics

英 美
  • 外延语义学,标志语义